'static ライフタイム

from 項目14：生存期間を理解しよう

'static は、プログラム実行中の全期間にわたって有効な生存期間を表す

引数で参照値を受け取らないが参照値を返す場合、'static を指定する必要がある

pub fn the_answer() -> &Item: コンパイルエラー

pub fn the_answer() -> &'static Item

これにより、戻り値が決してスコープから外れないことを保証できる

'static ライフタイムを持つ値を取得する方法

1. static なグローバル変数への参照を取得すること

コンパイラは static な値をプログラム中の実行中は常に同じアドレスに存在し、ムーブしないことを保証するため、参照のライフタイムは常に 'static となる

code:rs

static ANSWER: Item = Item { contents: 42 };

pub the answer() -> &'static Item {

&ANSWER

}

2. const な値への参照を 'static ライフタイムに昇格する

warning.icon ただし、2 点ほど注意が必要

1. その型にデストラクタ（Drop）や内部可変性（RefCell, Mutex, RwLock）を持つ場合は昇格されない

したがって、以下はコンパイルエラーとなる

code:rs

pub struct Wrapper(pub i32);

impl Drop for Wrapper {

fn drop(&mut self) {}

}

const ANSWER: Wrapper = Wrapper(42);

pub fn the_answer() -> &'static Wrapper {

&ANSWER

}

2. const はメモリアドレスは固定されない

const の値は変更されないがコピーを作成することが可能であるため、常に同じメモリアドレスを指す保証はない

3. ヒープに割り当てた値を 'static として扱う

通常、ヒープ上に確保された値（Box<T>）は要素がドロップされないことを保証できないため、この条件を満たさない

code:rs

// コンパイルエラー

{

let boxed = Box::new(Item { contents: 42 });

let r: &static Item = &boxed;

println!("'static item is {r:?}");

}

しかし、Box::leak 関数を使えば、所有された Box<T> を消費して T の可変参照に変換することができる

この値の所有者はいないため、ドロップされることもないことを保証できる

code:rs

{

let boxed = Box::new(Item { contents: 42 });

let r: &static Item = Box::leak(boxed);

println!("'static item is {r:?}");

}

warning.icon ヒープに割り当てた値が永遠に解放されないため、メモリリークが発生する可能性がある

ただし、メモリリークが発生しても Rust のメモリ安全性に影響を及ぼさない

#Rust #Effective_Rust_―_Rustコードを改善し、エコシステムを最大限に活用するための35項目